$\forall$$i_{1}$, $i_{2}$, $j_{1}$, $j_{2}$:$\mathbb{N}$. ($i_{1}$ $\leq$ $j_{1}$) $\Rightarrow$ ($i_{2}$ $\leq$ $j_{2}$) $\Rightarrow$ (($i_{1}$ $\ast$ $i_{2}$) $\leq$ ($j_{1}$ $\ast$ $j_{2}$))